Micron Document
`:top
Die `!Web Ontology Language`! (kurz `!OWL`! – zum Akronym OWL statt WOL siehe weiter unten) ist eine Spezifikation des `F33f`_`[World Wide Web Consortiums`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=World_Wide_Web_Consortium]`_`f (W3C), um `F33f`_`[Ontologien`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Ontologie_(Informatik)]`_`f anhand einer formalen Beschreibungssprache erstellen, publizieren und verteilen zu können. Es geht darum, Termini einer `F33f`_`[Domäne`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Wissensgebiet]`_`f und deren Beziehungen formal so zu beschreiben, dass auch Software (z. B. `F33f`_`[Agenten`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Software-Agent]`_`f) die Bedeutung verarbeiten („verstehen“) kann. OWL ist somit ein wesentlicher Bestandteil der `F33f`_`[Semantic-Web`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Semantic_Web]`_`f-Initiative von `F33f`_`[Tim Berners-Lee`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Tim_Berners-Lee]`_`f. OWL basiert technisch auf der `F33f`_`[RDF`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Resource_Description_Framework]`_`f-`F33f`_`[Syntax`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Syntax]`_`f und historisch auf `F33f`_`[DAML+OIL`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=DAML_plus_OIL]`_`f und geht dabei über die Ausdrucksmächtigkeit von `F33f`_`[RDF-Schema`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=RDF-Schema]`_`f weit hinaus. Zusätzlich zu RDF und RDF-Schema werden weitere Sprachkonstrukte eingeführt, die es erlauben, Ausdrücke ähnlich der `F33f`_`[Prädikatenlogik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Prädikatenlogik]`_`f zu formulieren.

>>Contents

• `F0af`_`[Abkürzung`#abk-rzung]`_`f
• `F0af`_`[Sprachebenen: Lite, DL und Full`#sprachebenen-lite-dl-und-full]`_`f
• `F0af`_`[OWL Lite`#owl-lite]`_`f
• `F0af`_`[OWL DL`#owl-dl]`_`f
• `F0af`_`[OWL Full`#owl-full]`_`f
• `F0af`_`[Sprachkonstrukte`#sprachkonstrukte]`_`f
• `F0af`_`[Klassen betreffend`#klassen-betreffend]`_`f
• `F0af`_`[Properties betreffend`#properties-betreffend]`_`f
• `F0af`_`[Instanzen betreffend`#instanzen-betreffend]`_`f
• `F0af`_`[Beispiel`#beispiel]`_`f
• `F0af`_`[Tools`#tools]`_`f
• `F0af`_`[Allgemeine Werkzeuge`#allgemeine-werkzeuge]`_`f
• `F0af`_`[Frameworks`#frameworks]`_`f
• `F0af`_`[Inferenz`#inferenz]`_`f
• `F0af`_`[Sonstige`#sonstige]`_`f
• `F0af`_`[Siehe auch`#siehe-auch]`_`f
• `F0af`_`[Literatur`#literatur]`_`f
• `F0af`_`[Weblinks`#weblinks]`_`f
• `F0af`_`[Einzelnachweise`#einzelnachweise]`_`f

-─

>>Abkürzung

Das `F33f`_`[Akronym`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Akronym]`_`f für `*Web Ontology Language`* hätte eigentlich `*WOL`*, nicht `*OWL`* sein müssen. Über den Ursprung des Buchstabenverdrehers findet man Antwort in den Archiven des W3C. Der Name OWL ist offensichtlich von Tim Finin auf einer Mailingliste vorgeschlagen worden.`:cite-ref-1[`F5bf`_`[1`#cite-note-1]`_`f] Die von ihm ursprünglich genannten Gründe sind wie folgt:

• Es ist klar, wie OWL auszusprechen ist (nämlich wie das englische Wort für `*Eule`*).
• Das Akronym eignet sich hervorragend zur Erstellung von Logos.
• Eulen werden mit Weisheit assoziiert.
• Es gibt eine interessante Hintergrundgeschichte.

Die genannte Hintergrundgeschichte betrifft ein Projekt von William A. Martin am MIT aus den 1970er Jahren mit dem Namen `*One World Language`*, einem frühen Versuch der Entwicklung einer universellen Sprache für die Wissensrepräsentation. Der Buchstabenverdreher ist hingegen keine Anspielung auf die literarische Figur der Eule aus `F33f`_`[Milnes`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Alan_Alexander_Milne]`_`f `*`F33f`_`[Pu der Bär`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Pu_der_Bär]`_`f`*, die als einziges Tier im Wald ihren Namen schreiben kann – allerdings mit einem Buchstabendreher, im englischen Original `*WOL`* statt `*OWL`*.`:cite-ref-2[`F5bf`_`[2`#cite-note-2]`_`f]

>>Sprachebenen: Lite, DL und Full

Es gibt OWL in drei verschiedenen Versionen. Dazu wurden die Sprachebenen `*OWL Lite`*, `*OWL DL`* und `*OWL Full`* definiert. Für den Einsatz von OWL Lite/DL wurden Einschränkungen definiert, welche die Entwicklung von Tools erleichtern bzw. vollständige `F33f`_`[Inferenz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Inferenz]`_`f ermöglichen sollen.

>>>OWL Lite

Die „Light-Version“ wurde mit dem Ziel geschaffen, eine einfach zu implementierende Untermenge der Sprache zu schaffen. Sie dient vor allem zum Erschaffen einfacher `F33f`_`[Taxonomien`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Taxonomie]`_`f und leicht axiomatisierter Ontologien. Dabei sind verschiedene Sprachkonstrukte aus OWL DL nicht vorhanden.

>>>OWL DL

Dies ist die Ebene, deren Semantik noch am ehesten an `F33f`_`[DAML+OIL`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=DAML_plus_OIL]`_`f heranreicht. `*DL`* steht für die `F33f`_`[Beschreibungslogik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Beschreibungslogik]`_`f (`*description logic`*) S H O I N ( D ) {\\displaystyle {\\mathcal {SHOIN}}(D)} , welche zu einer `F33f`_`[entscheidbaren`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Entscheidbar]`_`f Untermenge der `F33f`_`[Prädikatenlogik erster Stufe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Prädikatenlogik_erster_Stufe]`_`f äquivalent ist. Um die Abbildbarkeit auf diese Logik zu gewährleisten, wurden diverse Einschränkungen für den Einsatz von `F33f`_`[RDFS`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=RDFS]`_`f-Konstrukten eingefügt, zum Beispiel darf eine Klasse nicht Instanz einer anderen Klasse sein.

>>>OWL Full

OWL Full besteht aus denselben Sprachkonstrukten wie OWL DL, verzichtet aber auf die dort vorhandenen Einschränkungen. Dadurch sind die Ontologien unentscheidbar, können dafür aber prädikatenlogische Ausdrücke höheren Grades ermöglichen.

>>Sprachkonstrukte

Die Spezifikation erweitert die Bedeutung von `F33f`_`[RDF`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Resource_Description_Framework]`_`f und `F33f`_`[RDF-Schema`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=RDF-Schema]`_`f um weitere Konstrukte, um die Ausdrucksmächtigkeit zu steigern (oder teilweise auch einzuschränken, um `F33f`_`[Entscheidbarkeit`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Entscheidbar]`_`f zu erreichen).

Das Ziehen von logischen Schlussfolgerungen basiert in OWL allgemein auf dem Konzept der sogenannten Open World Assumption – kurz OWA. Die Open World Assumption (Offene-Welt-Annahme) bedeutet, dass ein Reasoner annimmt, dass etwas existiert, solange nicht explizit definiert wurde, dass es nicht existiert. Allgemein ausgedrückt gilt: Solange etwas nicht als zutreffend ausgesagt wurde, nimmt ein Reasoner nicht an, dass es unzutreffend ist. Es wird lediglich angenommen, dass das Wissen noch nicht zur Wissensbasis hinzugefügt wurde.

OWL unterscheidet Klassen, Eigenschaften (`*properties`*) und `F33f`_`[Instanzen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Objekt_(Programmierung)]`_`f. Klassen stehen für Begriffe (auch Konzepte; engl. `*concepts`*). Sie können Eigenschaften besitzen. Instanzen sind Individuen einer oder mehrerer Klassen.

>>>Klassen betreffend

• <owl:class>
• <owl:oneOf>
• <owl:`F33f`_`[unionOf`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Vereinigungsmenge]`_`f>
• <owl:`F33f`_`[intersectionOf`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Schnittmenge]`_`f>
• ...

>>>Properties betreffend

• <owl:Restriction>
• <owl:`F33f`_`[allValuesFrom`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Allquantor]`_`f>
• <owl:`F33f`_`[someValuesFrom`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Existenzquantor]`_`f>
• ...

>>>Instanzen betreffend

• <owl:sameAs>

>>Beispiel

Das Beispiel beschreibt die Begriffe <Person>, <Gender> und <Woman>. Eine Frau ist definiert als eine <Person> mit dem Wert <female> im Property <gender>, das der Klasse <Gender> angehören muss. Die Instanz <STilgner> ist somit als <Person> beschrieben eine Frau (<Woman>). Mittels `F33f`_`[Inferenz`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Inferenz]`_`f kann diese Zugehörigkeit ermittelt werden.

`B100`F9d9<rdf:RDF`f`b
`B100`F9d9 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"`f`b
`B100`F9d9 xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"`f`b
`B100`F9d9 xmlns:owl="http://www.w3.org/2002/07/owl#"`f`b
`B100`F9d9 xmlns="http://localhost:8080/OWLBuergerInformation.owl#"`f`b
`B100`F9d9 xml:base="http://localhost:8080/OWLBuergerInformation.owl">`f`b
`B100`F9d9`f`b
`B100`F9d9 <owl:Ontology rdf:about=""/>`f`b
`B100`F9d9`f`b
`B100`F9d9 <owl:Class rdf:ID="Gender"/>`f`b
`B100`F9d9 <owl:Class rdf:ID="Person"/>`f`b
`B100`F9d9 <owl:Class rdf:ID="Woman">`f`b
`B100`F9d9 <rdfs:subClassOf rdf:resource="#Person"/>`f`b
`B100`F9d9 <owl:equivalentClass>`f`b
`B100`F9d9 <owl:Restriction>`f`b
`B100`F9d9 <owl:onProperty rdf:resource="#gender"/>`f`b
`B100`F9d9 <owl:hasValue rdf:resource="#female" rdf:type="#Gender"/>`f`b
`B100`F9d9 </owl:Restriction>`f`b
`B100`F9d9 </owl:equivalentClass>`f`b
`B100`F9d9 </owl:Class>`f`b
`B100`F9d9`f`b
`B100`F9d9 <owl:ObjectProperty rdf:ID="gender"`f`b
`B100`F9d9 rdf:type="http://www.w3.org/2002/07/owl#FunctionalProperty">`f`b
`B100`F9d9 <rdfs:range rdf:resource="#Gender"/>`f`b
`B100`F9d9 <rdfs:domain rdf:resource="#Person"/>`f`b
`B100`F9d9 </owl:ObjectProperty>`f`b
`B100`F9d9 <owl:DatatypeProperty rdf:ID="name"`f`b
`B100`F9d9 rdf:type="http://www.w3.org/2002/07/owl#FunctionalProperty">`f`b
`B100`F9d9 <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>`f`b
`B100`F9d9 <rdfs:domain rdf:resource="#Person"/>`f`b
`B100`F9d9 </owl:DatatypeProperty>`f`b
`B100`F9d9 <owl:DatatypeProperty rdf:ID="firstname"`f`b
`B100`F9d9 rdf:type="http://www.w3.org/2002/07/owl#FunctionalProperty">`f`b
`B100`F9d9 <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>`f`b
`B100`F9d9 <rdfs:domain rdf:resource="#Person"/>`f`b
`B100`F9d9 </owl:DatatypeProperty>`f`b
`B100`F9d9`f`b
`B100`F9d9 <Person rdf:ID="STilgner" firstname="Susanne" name="Tilgner">`f`b
`B100`F9d9 <Gender rdf:resource="#female"/>`f`b
`B100`F9d9 </Person>`f`b
`B100`F9d9</rdf:RDF>`f`b

>>Tools

>>>Allgemeine Werkzeuge

• `F33f`_`[Protégé`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Protégé_(Software)]`_`f, Ontologie-Editor mit OWL-Plugin von der Stanford University
• SWOOP ehemals von mindswap entwickelt, jetzt bei GitHub

>>>Frameworks

• Apache Jena Framework: Apache Jena
• Java-API: OWL-API

>>>Inferenz

• RACER OWL Reasoner
• FaCT
• FaCT++ OpenSource OWL Reasoner
• Pellet OpenSource OWL Reasoner
• KAON2 OWL Reasoner mit Stärken bei großen Instanzmengen

>>>Sonstige

• KAON2 OWL Tools
• DERI Ontology Management Environment (DOME)
• UML2OWL Tool - Modellierung von OWL DL Ontologien mit UML / Transformation von UML Klassendiagrammen in valide OWL DL Dokumente
• `F33f`_`[yEd`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=YEd]`_`f Graph Editor – Diagrammeditor, mit dem OWL-Ontologien übersichtlich visualisiert werden können

>>Siehe auch

• `F33f`_`[Beschreibungslogik`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Beschreibungslogik]`_`f
• `F33f`_`[F-Logic`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=F-Logic]`_`f
• `F33f`_`[FOAF`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=FOAF]`_`f

>>Literatur

• Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure: `*Semantic Web. Grundlagen.`* Springer, 2008, ISBN 978-3-540-33993-9.

>>Weblinks

• OWL 2 Document Overview – W3C-Empfehlung vom 11. Dezember 2011 (englisch)
• OWL Semantics und Syntax Definitionen – W3C-Empfehlung vom 10. Februar 2004 (englisch)

>>Einzelnachweise

`:cite-note-1`!1.`! `F0af`_`[↑`#cite-ref-1]`_`f `*Re: NAME: SWOL versus WOL from tim finin on 2001-12-27.`* Abgerufen am 29. August 2023.
`:cite-note-2`!2.`! `F0af`_`[↑`#cite-ref-2]`_`f `*World Wide Web Consortium Issues Web Ontology Language Candidate Recommendations.`* 19. August 2003, abgerufen am 29. August 2023 (englisch).

`c`F0af`_`[↑ Back to top`#top]`_`f`a